Definition of expected value